$\forall$$M$:(IdLnk$\rightarrow$Id$\rightarrow$Type), $l$:IdLnk, $m$:Msg($M$). haslink($l$; $m$) $\in$ prop\{i:l\}